1. Admissible sets and structures
Author: / by Jon Barwise
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA9
،.
B379
1975
2. Handbook of mathematical logic
Author: / edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
,.
H32
3. Handbook of mathematical logic
Author: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H32
4. Handbook of mathematical logic
Author: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H32
5. Logical reasoning with diagram
Author: / edited by Gerard Allwein and Jon Barwise
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Knowledge representation (Information theory),Logic, Symbolic and mathematical--Charts, diagrams, etc
Classification :
QA9
,.
L624
,
1996eb
6. Studies in model theor
Author: ]by[ Jon Barwise ]and others[ M. D. Morley, editor,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Model theory
Classification :
QA
.
M67
9
.
7
7. Studies in model theory
Author: )by( Jon Barwise )and others( M. D. Morley, editor
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
S78
8. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
Author: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
Classification :
QA
9
.
6
.
K53
1978
9. The Syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Infinitary languages
Classification :
QA
9
.
S95
1968
10. The Syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Infinitary languages
Classification :
QA
3
.
L28
Vol
.
72
11. The syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Central Library and Documentation Center (Kerman)
Subject: ، Infinitary languages
Classification :
QA
1
.
L4
v
.
72
12. The syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Infinitary languages
Classification :
QA
3
.
L28
no
.
72
